منابع مشابه
Aspect Composition Applying the Design by Contract Principle
The composition of software units has been one of the main research topics in computer science. This paper addresses the composition validation problem evolving in this context. It focuses on the composition for a certain kind of units called aspects. Aspects are a new concept which is introduced by aspect-oriented programming aiming at a better separation of concerns. Cross-cutting code is cap...
متن کاملApplying Design by Contract to Feature-Oriented Programming
Feature-oriented programming (FOP) is an extension of object-oriented programming to support software variability by refining existing classes and methods. In order to increase the reliability of all implemented program variants, we integrate design by contract (DbC) with FOP. DbC is an approach to build reliable object-oriented software by specifying methods with contracts. Contracts are annot...
متن کامل"Design by Contract" + "Componentware" = "Design by Signed Contract"
The main goal of "Design by Contract" is to improve correctness and robustness of software systems. For this purpose, the interfaces of classes or modules are augmented with precise specifications containing assertions. By means of these assertions, a supplier of a service imposes contractual obligations that his clients have to fulfill. " Componentware " introduces a new software development p...
متن کاملDesign by Contract, By Example
Design by Contract is a powerful technique that provides the promise of specifying classes in a machine checkable way. Until recently, it has failed to live up to that promise. However, the organizers of this workshop have developed, and continue to develop a disciplined approach for using Design by Contract to completely specify classes, often in ways that can be completely checked automatical...
متن کاملDesign by Contract with JML
This document gives a tutorial introduction to the Java Modeling Language (JML), and explains how JML can be used as a powerful design by contract (DBC) tool for Java. JML is a formal behavioral interface specification language for Java that contains the essential notations used in DBC as a subset. The basic concepts of DBC are explained with a particular emphasis on how to use JML notations to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 1992
ISSN: 0018-9162
DOI: 10.1109/2.161279